System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
471	SAMPLE CHAPTER wxPython in Action by Noel Rappin and Robin Dunn Add to Reading List Source URL: www.manning-source.com Language: English - Date: 2006-03-04 13:59:10 Computing Dialog box Modal window Open Programming Language GUI widget Mode Button Error message Dialogue Software System software Graphical user interface elements
472	Automatic Recommendation of API Methods from Feature Requests Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2013-10-15 15:05:31 Computational linguistics Natural language processing Recommender system Application programming interface Library Java Servlet JIRA Word-sense disambiguation Java Computing Software Science
473	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
474	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
475	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
476	The Design and Implementation of BER MetaOCaml System Description http://okmij.org/ftp/ML/MetaOCaml.html Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-05 20:02:39 Functional languages Cross-platform software Lisp programming language Procedural programming languages Data types Eval Lisp OCaml Type system Computing Software engineering Computer programming
477	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
478	TEX and TUG NEWS TEX and TUG NEWS is a newsletter for TEX and LATEX users alike: a forum for exchanging information, tips and suggestions; a regular means of communicating news items to one another ; a place where inform Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2011-01-07 09:23:18 Publishing Computing ConTeXt TUG Device independent file format Donald Knuth Text Executive Programming Language New Typesetting System TeX Typography Typesetting
479	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
480	Aleksey Shipilev Summary Born in mid-eighties, currently living in Puschino, Moscow area, Russia, married. Relocation within Russia is not acceptable, open for remote work Relocation outside Russia is acceptable, but nee Add to Reading List Source URL: shipilev.net Language: English - Date: 2014-01-01 10:52:21 Java virtual machine Java platform Java programming language Cross-platform software Sun Microsystems Apache Harmony Java Jikes RVM OpenJDK Computing Software System software

UPDATE